A new formula for Lazard's correspondence for finite braces and pre-Lie algebras

In this paper a simple algebraic formula is obtained for the correspondence between finite right nilpotent Fp-braces and pre-Lie algebras. This agrees with using Lazard's algebras proposed by Wolfgang Rump in 2014. As an application example, classification of all generated one element cardinality p4 obtained. It also shown that sum number left ideals brace ideal, therefore every contains largest ideal.